Robustness Analysis for Value-Freezing Signal Temporal Logic
نویسندگان
چکیده
منابع مشابه
Robustness Analysis for Value-Freezing Signal Temporal Logic
In our previous work we have introduced the logic STL*, an extension of Signal Temporal Logic (STL) that allows value freezing. In this paper, we define robustness measures for STL* by adapting the robustness measures previously introduced for Metric Temporal Logic (MTL). Furthermore, we present an algorithm for STL* robustness computation, which is implemented in the tool Parasim. Application ...
متن کاملOn-Line Monitoring for Temporal Logic Robustness
In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL<+∞ +pt ) over sampled traces of Cyber-Physical Systems. We implemented our tool in Matlab as a Simulink block that can be used in a...
متن کاملA Temporal Logic of Robustness
It can be desirable to specify polices that require a system to achieve some outcome even if a certain number of failures occur. This paper proposes a logic, RoCTL*, which extends CTL* with operators from Deontic logic, and a novel operator referred to as “Robustly”. This novel operator acts as variety of path quantifier allowing us to consider paths which deviate from the desired behaviour of ...
متن کاملRobustness of Temporal Logic Specifications
In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL)formulas over signals that take values in metric spaces. For such signals, whichare generated by systems whose states are equipped with nontrivial metrics, forexample continuous or hybrid, robustness is not only natural, but also a criticalmeasure of system performance. Thus, we propose multi-valu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.125.2